156 research outputs found
Introducing Equational Semantics for Argumentation Networks
This paper provides equational semantics for Dungâs argumentation
networks. The network nodes get numerical values in [0,1], and are supposed
to satisfy certain equations. The solutions to these equations correspond to the
âextensionsâ of the network.
This approach is very general and includes the Caminada labelling as a special
case, as well as many other so-called network extensions, support systems, higher
level attacks, Boolean networks, dependence on time, etc, etc.
The equational approach has its conceptual roots in the 19th century following
the algebraic equational approach to logic by George Boole, Louis Couturat and
Ernst Schroeder
A Fibred Tableau Calculus for Modal Logics of Agents
In previous works we showed how to combine propositional multimodal logics using Gabbay's \emph{fibring} methodology. In this paper we extend the above mentioned works by providing a tableau-based proof technique for the combined/fibred logics. To achieve this end we first make a comparison between two types of tableau proof systems, (\emph{graph} \emph{path}), with the help of a scenario (The Friend's Puzzle). Having done that we show how to uniformly construct a tableau calculus for the combined logic using Governatori's labelled tableau system \KEM. We conclude with a discussion on \KEM's features
Recommended from our members
Fewer epistemological challenges for connectionism
Seventeen years ago, John McCarthy wrote the note Epistemological challenges for connectionism as a response to Paul Smolenskyâs paper 'On the proper treatment of connectionism'. I will discuss the extent to which the four key challenges put forward by McCarthy have been solved, and what are the new challenges ahead. I argue that there are fewer epistemological challenges for connectionism, but progress has been slow. Nevertheless, there is now strong indication that neural-symbolic integration can provide effective systems of expressive reasoning and robust learning due to the recent developments in the field
Representational task formats and problem solving strategies in kinematics and work
Previous studies have reported that students employed different problem solving approaches when presented with the same task structured with different representations. In this study, we explored and compared studentsâ strategies as they attempted tasks from two topical areas, kinematics and work. Our participants were 19 engineering students taking a calculus-based physics course. The tasks were presented in linguistic, graphical, and symbolic forms and requested either a qualitative solution or a value. The analysis was both qualitative and quantitative in nature focusing principally on the characteristics
of the strategies employed as well as the underlying reasoning for their applications. A comparison was also made for the same studentâs approach with the same kind of representation across the two topics.
Additionally, the participantsâ overall strategies across the different tasks, in each topic, were considered. On the whole, we found that the students prefer manipulating equations irrespective of the representational format of the task. They rarely recognized the applicability of a ââqualitativeââ approach to solve the
problem although they were aware of the concepts involved. Even when the students included visual representations in their solutions, they seldom used these representations in conjunction with the
mathematical part of the problem. Additionally, the students were not consistent in their approach for interpreting and solving problems with the same kind of representation across the two topical areas. The representational format, level of prior knowledge, and familiarity with a topic appeared to influence their
strategies, their written responses, and their ability to recognize qualitative ways to attempt a problem. The nature of the solution does not seem to impact the strategies employed to handle the problem
The k-variable property is stronger than H-dimension k
Accepted versio
- âŚ